Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
321	A Lambda Term Representation Inspired by Linear Ordered Logic Andreas Abel Nicolai Kraus Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-07-29 14:17:24 Lambda calculus Logic in computer science Proof theory Computability theory De Bruijn index Combinatory logic Curry–Howard correspondence Weight Free variables and bound variables Mathematics Theoretical computer science Mathematical logic
322	The Effectiveness of Flow Analysis for Inlining∗ J. Michael Ashley University of Kansas Snow Hall 415 Lawrence, Kansas 66045 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:39 Subroutines Theoretical computer science Inline expansion Computability theory Models of computation Compiler optimization Lambda calculus Data-flow analysis Function Software engineering Computer programming Computing
323	Asia Pacific Mathematics Newsletter 1 OnDemons Demons and On Add to Reading List Source URL: www.asiapacific-mathnews.com Language: English - Date: 2012-02-16 01:26:56 Applied mathematics Computability theory Models of computation Turing machine Alan Turing Hypercomputation Super-recursive algorithm Church–Turing thesis Computability Theoretical computer science Theory of computation Computer science
324	Nonrecursive Cellular Automata Invariant Sets Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:30:37 Applied mathematics Theory of computation Computability theory Formal languages Automata theory Cellular automaton Recursively enumerable set Recursively enumerable language Universal Turing machine Theoretical computer science Turing machine Computer science
325	The Circuit-Input Game, Natural Proofs, and Testing Circuits With Data∗ Brynmor Chapman† Stanford University Add to Reading List Source URL: web.stanford.edu Language: English - Date: 2014-12-10 16:56:25 Complexity classes Circuit complexity Pseudorandomness Computability theory Advice Pseudorandom generator ACC0 Natural proof Boolean circuit Theoretical computer science Computational complexity theory Applied mathematics
326	Quantum Computation‘ N O R M A N MARGOLUS Laboratory for Computer Science Massachusetts Institute of Technology Cambridge, Massachusetts 02139 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2009-08-06 23:40:53 Cellular automata Physics Quantum mechanics Computability theory Quantum computer Cellular automaton Asynchronous cellular automaton Reversible cellular automaton Computation Theoretical computer science Applied mathematics Models of computation
327	Book Review His Just Deserts: A Review of Four Books Reviewed by Alvy Ray Smith Malleability and Amplification are the twin glories Add to Reading List Source URL: www.ams.org Language: English - Date: 2014-07-31 09:01:39 Computability theory Mathematics Alan Turing Turing machine Models of computation Universal Turing machine Church–Turing thesis Halting problem Entscheidungsproblem Theoretical computer science Computer science Theory of computation
328	A Bisimulation for Dynamic Sealing Eijiro Sumii Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2004-10-25 16:21:02 Lambda calculus Computability theory Fixed-point combinator Π-calculus Valuation Combinatory logic Theoretical computer science Mathematics Applied mathematics
329	Proceedings of the Society of PoC k GTFO Issue 0x01, an Epistle to the 10th H2HC in São Paulo From the writing desk, not the raven, of Rt. Revd. Preacherman Pastor Manul Laphroaig pastor@phrack org October 6, 2013 Legal Add to Reading List Source URL: defuse.ca Language: English - Date: 2013-10-06 17:49:56 Theoretical computer science Computer science Models of computation Alan Turing Typewriter Computer Windows XP Turing machine Theory of computation Computability theory
330	Predicting Properties of Specialized Programs PhD Proposal Karoline Malmkjær November 20, 1991 c Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:06 Computability theory Theoretical computer science Evaluation strategy Incremental computing Partial evaluation Eval ALGOL 68 Lambda calculus Type system Software engineering Computing Computer programming

UPDATE